universal proposition

nouns

(logic) a proposition that asserts something of all members of a class